Group testing regression models with dilution submodels

Testing Regression Models With Fewer

Submodels of Kripke models

A Kripke model K is a submodel of another Kripke modelM if K is ob tained by restricting the set of nodes ofM In this paper we show that the class of formulas of Intuitionistic Predicate Logic that is preserved under taking submodels of Kripke models is precisely the class of semipositive formulas This result is an analogue of the Lo s Tarski theorem for the Classical Predicate Calculus In appe...

Regression Testing for Visual Models

In this paper, we present a set of Eclipse plug-ins which adapts the idea of regression testing for the area of visual modelling in software engineering: Expected properties of models in languages such as UML, BPMN, etc. are stored together with the model (comparable with test cases added to software). With each change of the model, these properties can be checked. The solution should work with...

Semiparametric Group Testing Models

Group testing through the use of pooling has proven to be an efficient method of reducing the time and cost associated with screening for a binary characteristic of interest such as infection status. Pooling strategies have also been implemented for the purposes of measuring continuous biological markers associated with disease status. A topic of key interest in both of the aforementioned setti...

Nonparametric regression analysis for group testing data

Group testing is a procedure employed to reduce the cost and increase the speed of large screening studies where infection or contamination of individuals is detected by a test carried out on a sample of, for example, blood, urine, water, etc. Instead of testing the sample of each individual, the method consists in pooling samples of groups of several individuals, and test those pooled samples....